FE Challenge & Response #12 – Rob Skiba’s Accumulating Proofs for Roundness A [DEBJ]