Implementing StateOccupation