t=r>=k?