Continued work on specifications in fun check.