All Research Sponsored By:A3 Logics