Source files in logic Package