Logic corrections