removing proof + unnecessary stuff
alpha light version