Commented cedet