format fails because it is not strictly symmetric