true: infinite tree structures