An introduction to fluid logic