lukeprog comments on MIRI’s Winter 2013 Matching Challenge