( * 4 ?)