setup ok
Abstract runs