Simplifying Assumptions

by Tim Cooijmans