On the Non-Complete by Amos Bar-Eli