Neural activity in the human brain signals logical rule identification.