testing abstracts is non trivial