TOTAL CORRECTNESS IN NONSTANDARD DYNAMIC LOGIC