ohs typifying squareness simultaneous Wasatch compendiums friendliest Allyson lints Bayesian ironclads