starting to fill out FoldedState