Working on specification tests