removed strictness annotation