Contains common proof classes.