Added axiomatic support for a list membership tactic.