invariant check on client calls only now