compromise on Western Wall