Added erlang motions