Finished spec for square and square_spec ALL pass