Removed empty Rules of Inference and Relation functions. Added 'Main' section.