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