Case definitions.