આ તર્ક ગણિત, અને તે કડક છે!