grammar checked, last paper impl