Design orthonormality should be checked rather than asserted ? What if the user makes it wrong ?