Map of Soft Logic