A learner says, 'Wajib is different from Farz, so Wajib is optional.' What is the correction?

Farz and Wajib

• Both are binding; the basic difference taught here concerns evidentiary certainty
• Yes, Wajib is merely optional
• There is no distinction at all in Hanafi terminology