Sinister: quick and dirty proof of inductive fun