  There are many different definitions of what a Bell-Kochen-Specker proof with
POVMs might be. Here we present and discuss the minimal proof on qubits for
three of these definitions and show that they are indeed minimal.
