Their argument: users are free not to think about it.