making encrypt go through ... remove redundant eta expansion; fix real verification error ... cipher vs. text