Alternatively, use two HNFs...