F1 i.4 |assertion failure: F1 | 1=#y fsF1 i.4 0 2 4 6 NB. and so on...