forbidden state and naming conditions