Can be moved inside `CorrespondsTo`