Trotter procedure

