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