Sapient Logic