Both were named after the archangel Michael, an angel among angels, who cast out the rebel spirits from Heaven.