Initial commit: SFFA and State classes