add simulation layer
add a proposition logic simulation