Fixing dynamic lists, proving lists for output