Lost Logic of Erlang