Formal e virtual, com as principiologias e teorias respectivas.