Finished making start rule optional: t+