Direct definition (Iverson)