Moved <= to formula