Forcing algebra/Characteristic 0/Superheight/Remark