Has Grafen formalized Darwin?