Речник на българския език
бяха тераформирали е производна форма на тераформирам (мин. пред. вр., 3 л., мн. ч.).