Naming states for clarity