in fact there can be maximal elements without having a maximum