An unfinished version of the uniqueness example