removed library(testthat) and library(binaryLogic)