Substrate

#david-roberts #abc-conjecture