Asynchronous Arbitrary Pattern Formation: the effects of a rigorous approach