Finprove presentations