King logic finished