En concreto en esas áreas se trabajan con "modelos formales".