How come the Houses(Hs) predicate not fail the various member(elem, list) checks, if the list is actually empty all the time?
確定! 回上一頁