Delete redundant file
Merge branch 'stateful'