bigeasy/proof — pull request #252 by jgpelletier (2014-10-13 16:03:23+00:00)
Title: Colorization coverage is 100%. 

Please see the question on line 11.