http://www.tigerknight.com/99/2015-06-14
Jan's logic solver at work...
Jan
2015-06-14 01:56:09 +0000 UTCKim Huett
2015-06-14 00:39:17 +0000 UTC