Removed for test purpose the nested quantifier method