other higher order logics allow quantification over even higher types than second order logic permits several multinationals have facilities and offices in and around manama