Use reflexivity at first step