a7.lyx is created with some text