schema formalization and guardian