added truth oracle for digits assignment