SLE40i Inset with Mizar Fireframe