Added proves
Added IO states