remove the use of <:<