use joxa to generate cases