Module Address.Boolean_Forward