exists and map implemented as one line functions