add con.verify; polish con spec