Soundness, by Mark Mayberry