Re: [math-fun] Domino problem, sketch of solution(?) & history