Inmendhams Logic