P1 in Erlang