Small simplification to make the specification sequential