SUB THEORY