Updated logic lib