Quick expect refute library