Error messages for the unverified implementation