Verification for the king and slave game