Cleaned up some spacing. Renamed "assume" to "add," but kept "assume" as an option.