Allan's reasoning (extended map)