Redefined tetrolets.