Lists spec

by Marcus Bothsa