retheorizations