$SENTIENT - sentient mathematics | Doppler