A deductive reasoning framework for Ruby.