reduce syntax