gideon’s logic