Module Arg.Boolean_Forward