439. Logic (1)