12 - TYPES ASSERTIONS