a circular snow covered crater occupies the summit area izoi ngofero ntabwo ihuye the one piece windshield is curved the set difference l p may or may not be recursively enumerable