Drew Zemke, who is a grad student of Jason Manning, posted a proof of the Simple Loop Conjecture for 3-manifolds modeled on Sol last week. 311 more words