formal science