This is the version without DILPS