Skeleton for compiling arguments