made a couple of corrections to main proposition