diff --git a/examples/3_nondeterminism/amy.c b/examples/3_nondeterminism/amy.c
index 3e3f771509150187a1858943d39c507690ae7329..7567b504528be3da36f135ba473ca3d84a27c3a7 100644
--- a/examples/3_nondeterminism/amy.c
+++ b/examples/3_nondeterminism/amy.c
@@ -4,35 +4,36 @@
 #include "../../reowolf.h"
 #include "../utility.c"
 
-int main() { // AMY
+int main() {
 	char * pdl = buffer_pdl("eg_protocols.pdl");
 	
 	Connector* c = connector_new();
 	printf("configuring...\n");
-
 	check("config ", connector_configure(c, pdl, "sync"));
 	check("bind 0 ", connector_bind_native(c, 0));
 	check("bind 1 ", connector_bind_passive(c, 1, "127.0.0.1:7000"));
 	printf("connecting...\n");
 	check("connect", connector_connect(c, 5000));
 
+	// amy offers a message to her peer.
+	// the message is the number of messages the peer previously received.
+
 	int send_next = 0;
 	char msg_buf[32];
 	int code;
 	int i;
 	for (i = 0; 1; i++) {
 		itoa(send_next, msg_buf, 10);
-		
 		printf("\nround %d. Will send msg `%s` next", i, msg_buf);
 		
-		
-		// batch 0: no messages sent
+		// option (a): no messages sent
 		check("next_batch ", connector_next_batch(c));
 		
-		// batch 1: put 0
+		// option (b): one message sent
 		check("put ", connector_put(c, 0, msg_buf, strlen(msg_buf) + 1));
 		code = connector_sync(c, 3000);
 		
+		// reflect on the outcome of the exchange
 		if (code == 0) printf("Sent no message!");
 		else if (code == 1) {
 			printf("Sent message `%s`!", msg_buf);