More Logic Testing