explicit logical support