Alice 85jj < INSTANT → >