3 ms·Cool! Someone should make a sleeker interface for it.by Bromskloss 8y agoCool! Someone should make a sleeker interface for it.theaeolist 8y agoThe interface is good enough. But someone should make a natural deduction version of it!