Add prove profiles back in