make abstract quiet time bool

In the lemma I'm working on now, I need a bool version of this
definition. As we discussed, we should avoid two identical versions
(Prop + bool) whenever possible