එනම් කිසිදු වැඩිපුර උපකල්පන සිදු නොකර පවතින උප සාධ් යය හා නියමයන් මගින් එය සිදු කිරීමයි. p නම් එවිට q, ආකාරයේ අවස්ථික ප් රකාශනයක් සෘජුවම සනාථ කිරීම සදහා p ප් රකාශනය සත් ය වන අවස්ථා පමණක් සැලකීම ප් රමාණවත් වේ.