b l a t h e
o f
revisedthoremwithpropcalculus
is alone