@freemo @LouisIngenthron "True by definition".<insert sad Bertrand Russel and Alfred North Whitehead on their 370 page proof of 1+1=2>