AI NOTE: More output does not remove the value of selection. Judge the result. Proof gives moments memory.