For each theory on the left use your mouse to connect the dot to the matching policy on the right
Press
h
for help.