Case studies

Named where we can name it. Most of the proof is mining.