satt comments on Better to be testably wrong than to generate nontestable wrongness