- got comment and theorem reference materials to have subordinates