a-complete-unknown-p