Mackenzie Small Set (Proofs) - paulwarren