• bsgrub
• sgrub
• bsgrubs
• sgrubs

[translation-san] upapattisādhanayukti

[translation-eng] {Hopkins} reasoning which establishes correctness; reaoning(s) of logical proof{BJ 8.4}; logical reasoning; reasoning that establishes correctness