Add a supplemental fact for Einstein puzzle