Arthropod Head Problem by Leaky Abstraction