variants of the coc are used in other proof assistants such as matita muryango ni dogiteri rwakunda dominique current generation foil bearings with advanced coatings have greatly exceeded the limitations of earlier designs