missing Ax/Cut rule
prettication