Update Tal_simple.g