wizard(harry).
wizard(ron).
wizard(hermione).
