revise for simulate and modify for Deductile ==1