Formal science