All judges are professionals. No professionals are machines. Which conclusion definitely follows?