Finalizing formal