"sublogic" - key terms from Wikipedia