Verifying that interactions never happened