Well. The Sex Pistols killed progressive rock, and the remainder acts (Marillion and its clones, Pendragon, IQ) were rather commercial. Artistic pretensions in rock music moved into the post-punk arena. Math rock is an extremely complex form of emo-rock, which is a punk offshoot that is not punk anymore. Math rock is where post-punk intersects with progressive rock.