budistlikus loogikas kasutatav vormel, mis postuleerib neli väidet seadmuste kohta: seadmus kas (a) on olemas; (b) ei ole olemas; (c) nii on kui ka ei ole olemas; (d) ei ole ei olemas ega olematu