Working on the validity proof section