Strictness clarifications