Gravar-mail: A Simplified Basis for Bell-Kochen-Specker Theorems