Mostly thanks to Magnus Klaar as it took me a while to figure out how PropEr tests had to be written.