Verifying a couple thoughts