require 'formula' class Rasqal &5