`getOnlyElement` again?