Using state sets