Use Of Must In Expressing Deduction