todo: A solution to make redirect lemmas more accessible, if there is a chance that they can be grown to pages.