for my study of erlang