The functions `caadr` and `cdadr` are from 'cl, which we are trying to avoid.