Direct Logic