syntax and semantics of assertions

now action closure... !