Proofs & Trials