cherrikissu - simple n relaxing isabelle illustration based...