add erlang R15 formula