# Alloy Facts - Blog Post from Hillel Wayne

**URL:** <https://alloytools.discourse.group/t/alloy-facts-blog-post-from-hillel-wayne/460>\
**Category:** Uncategorized\
**Created:** [April 11, 2024, 7:46pm UTC](https://alloytools.discourse.group/t/alloy-facts-blog-post-from-hillel-wayne/460 "2024-04-11T19:46:17Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![awwaiid](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/awwaiid/32/222_2.png) [@awwaiid](https://alloytools.discourse.group/u/awwaiid)\
**Post date:** [April 11, 2024, 7:46pm UTC](https://alloytools.discourse.group/t/alloy-facts-blog-post-from-hillel-wayne/460/1 "2024-04-11T19:46:17Z")

</div>

I’ve enjoyed this blog post from @hwayne yesterday! Good exposition on facts vs predicates, as discussed previously here.

> **[Don't let Alloy facts make your specs a fiction](https://www.hillelwayne.com/post/alloy-facts/)**
>
> I’ve recently done a lot of work in Alloy and it’s got me thinking about a common specification pitfall. Everything in the main post applies to all formal specifications, everything in dropdowns is for experienced Alloy users.
> Consider a simple model...