completed feature for bounded logic