avoid using logical symbols in programs in a few places