Verify behavior or state?