Also the idea that | progsolution