Folding Architecture Logic