"forall y" - related articles and key terms