user_state (still to be tested)