human(bob).