Formal motions - a guide