Complete logic