formal science articles