valid logic