https://cubicgarden.com/2009/11/20/the-logical-conclusion-of-fb-alibi-case-2/