merger commit
merger commit
merger commit
merger  on badiou
cleaning up notes