Fixed wording for assumption #2
Fixed tau and added images