Re: Papers on strictness annotations