Followed the instructions of mr. Howard. Now Logic X can't find the axiom anymore and don't know how to go form here. The file HyperControl...
Separate names with a comma.