Used wrapZ3 in Conway example; exported wrapZN functions.