Future AIs can probably infer the requirements better than humans can write them.