|entries|nonwellfounded-set-theory|