Techniques used in our experiments include: