synthetic fix & paratype -> t1