helpers: Check(), truth()