Dear Sirs, The following link refers to a reformulation of MK-Foundation-Choice. It is not altogether that trivial albeit shortly proved. http://zaljohar.tripod.com/mkreform.pdf Best Regards Zuhair Al-Johar