Boolean rings
Remove unused import