calculated_state > described_state