Better description for the boolsim format