Still need to add assumptions to GUI.