The crappy js-to-reason converter anyone can contribute to! - View it on GitHub