let and where and case