"Hey, who solved my theorem?!"