His first encounter was with Gottschalk, whose predestinarian doctrines claimed to be modelled on those of St Augustine. Hincmar placed himself at the head of the party that regarded Gottschalk's doctrines as heretical, and succeeded in procuring the arrest and imprisonment of his adversary (849). For a part at least of his doctrines Gottschalk found ardent defenders, such as Lupus of Ferrières, Prudentius of Troyes, the deacon Florus, and Amolo of Lyons. Through the energy and activity of Hincmar the theories of Gottschalk were condemned at the second council of Quierzy (853) and Valence (855), and the decisions of these two synods were confirmed at the synods of Langres and Savonnières, near Toul (859).