---
layout: post
title: "Note: Analysis"
description: ""
category: "logic for hackers"
tags: []
---

###5.3 Unbound Universal Quantifiers

####5.3.1 Generator Axioms and Exploding Scopes

####5.3.2 Omitting the Generator Axiom



***

###Question

1. What about ```module analysis/paramSets [t]```
2. every relational expression in Alloy has a value

Read Chap 5.3 but still have some questions about it.
Read Chap 5.3 but still have some questions about it.
