Some boolean predicators