Hypothesis for logic-2, BLS-LLB Sem 4