Solves CONS.