https://www.lesswrong.com/s/7CdoznhJaLEKHwvJW/p/LfGzAduBWzY5gq6FE uses color really well in proofs. I will need to copy that.