Would this be the same condition as the predicate `display_transition_to_on_p` (not implemented, just proposed above)?