This package is reserved for "Design By Contract" (DbC).