add is-known, maybe fix elide