See Talk:Noncommutative logic ---- Charles Stewart 16:33, 6 Dec 2004 (UTC)