post: sf1-1 with idris