Argumentum ontologicum by Springer