Added illogicality check
Updated version to 20131118