More stuff on the metalecture