Full abstract-ness.