removed binary formula abstract class, since only until implemented it