Patten background mathematically based on abstractions n1467