lpl-4-3-p-obsp is invalid.