erlang is truth