https://thebfd.co.nz/2019/09/13/if-that-is-true-what-else-must-be-true/