Káschlernél nem létezhet nagyobb ökör. Formál-logikailag is kizárt.