Email Record: Journal of applied logic.