Commented and clarified semcheck.