reproving the "not" compilation. Not finished.