Fixed states
Fixed verification
Fixed verify