'keys' assertion