Added refl and idpath; we're still missing J