This package provides the model representing the preverification results.