gwillen comments on Introducing Familiar, a quantified reasoning assistant (feedback sought!)