now to add ord invariants