Title: great shorter works of pascal