Added proof option