User blog comment:Alemagno12/First Order Theory Theory/@comment-5029411-20170808094807

Can you can't take theories in 1 supertheory?