Updates on logic