Which inference from the non-definitive proof of wajib is incorrect?

Classes of Normative Rulings: Fard, Wajib, Sunnah and Nafl

• Therefore wajib can be omitted without excuse
• Its proof may have a different grade from fard
• Its performance remains binding
• Its juristic interpretation may admit disagreement