returned macro_theory :(