corrected a few implications