Need to do fundamental theorem.