Costly state verification