Aformality has its own animate method