More work on Seq for A3