Mystik Concepts : Labels - Proofs