Verifying the order of interactions