debugging with Craig, second order filtering options