- got statement theorem subordinates to be processed