The proof is in the pudding SA, not an airy list of inputs