All pre-existing tests pass (no model verifications)