Асимметричные Orans, Наличие крыши Есть