dramatic speedup of sem4 by avoiding Maps