implies function

#' Logical implies