Postulate equality instead of using believe_me.