[ : p 7!