[logic-ml] Frege's fifth basic law of thought