A modification, with an eye on teaching, of fromempty