thenable notation again