exist follows