further state precondition