Nomic inference door Cannavo