Add another strictness annotation