Description: "At most one" is still true when a conjunct is added, inference form. (Contributed by NM, 9-Mar-1995)