Degen's_eight-square_identity loading ...