properuseoflatex added (doesn't compile yet)