[] !::= !B= = = = = = = = = = = = = = = = = = B= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =