[posted] Corrected Posted (#15114, Boole)