A square_pos question

Related: