Three Different Forms of Logic (4)