Module Make.Boolean_Forward