The “slop drop” contains a number of groundbreaking proofs, but how it was generated remains unclear and contentious