JJSpec at 6.