normalForm: Species[] = ...