more universal and effective, because of the possibility of mixing strategies of proof