define the 'eavesdrop' property
begin implementing diffie hellman
test recursive knowledge
Separate the unit testing
move some arguments