logic argument types. There are any references about logic argument types in here. you can look below.