Yep, that's the return part. The true part seems to be redundant