1) added primitive method on formula subclasses