औपचारिक अंत