Use dot instead of CONS.