Did you know that in 1945, Kasman Singodimedjo lobbied other Islamist leaders not to implement sharia law in Indonesia?