logical argument types