Axiomgik2ab4 | 8004scan