Thanks for confirming and fixing the Armstrong's Axioms issue. Aednichols (talk) 17:24, 9 December 2012 (UTC)Reply
