readded proposal tex