a revision of RTac that allows simultaneous instantiation.