Higher Logic Real Magnet