process fn (MakeLemma updatefile l n)
    = makeLemma fn updatefile l n
process fn (MakeLemma updatefile l n)
    = makeLemma fn updatefile l n
process fn (MakeLemma updatefile l n)
    = makeLemma fn updatefile l n