This module defines the assertion logic