Simplify abstract

Can I get more pedantic? We will see...