RAIM and DAVLETYAROV