Remove duplicate functions now moved to Cons.