(|23$|v23)