change function name from "all-true" to "all-true?"