- got theorem statements to have nested subordinates with full functionality