Square and non-reflection in the context of Pk lambda