Displaying similar documents to “On an extremely restricted ω-rule”