document A-MEMBER-OF and AN-INTEGER-BETWEEN