Esto implica que en la hipótesis formal debe estar implícito un programa arquitectónico.