Module Common.Boolean_Forward