It'd be nice to have some explanations about the part with the bitwise AND. Only the conditions for the recursion are explained. As far as I understood, if any of the four recursive calls returns false, it means that cell is not part of a closed island. Is this assumption correct?