HomeIsabelle/Phabricator

`first` did not have constant time complexity