We are on the verge: Today our program proved Fermat's next-to-last theorem.
采石场应当在开采的同时治愈大地。