split, first pass on formal