Substrate

#abc-conjecture #davide-castelvecchi