Yes in theory, but not yet in practice because not everything is fully formalised.