Verified composition of movi list.