pepx. *A* coddom(1 2 345 *Defecto*), posi(*Defecto*)
pepx. *B* coddom(1 2 345)