Each explanation contains just one axiom. The problem is in rendering multiple html tags.
Logged In: YES user_id=1262824 Originator: YES
in rev. 564
Log in to post a comment.
Logged In: YES
user_id=1262824
Originator: YES
in rev. 564