Comment Comment by layer8 There can be multiple most fundamental duties: https://proofwiki.org/wiki/Maximal_Element_need_not_be_Uniqu... parent layer8 2 years ago