hlaminer 1.1: Remove require "formula"