Code for creating microTuples from NTuples, using Proof