prope can return Empty at times