Steam
Store data
- UK price
- £2.19
- US price
- Awaiting regional check
- Positive reviews
- 100%
- Total reviews
- 0
- Release date
- 12 November 2026
Activity briefingSummary of recorded signals
Steam player data · App 4518950
Quod Erat Demonstrandum
- Single-player
- Steam Achievements
- Custom Volume Controls
- Mouse Only Option
- #category_playable_at_your_own_pace
- Playable without Timed Input
- Steam Input API Support
- Partial Controller Support
Concurrent players0Most recent successful sample
Today's peak3131/144 samples
Tracked peak3Highest retained daily peak
Steam rating100%0 reviews
Steam metadata
Game information
Details supplied by the Steam store
- App ID
- 4518950
- App type
- Game
- Developer
- Ad Dominum Games ↗
- Publisher
- Ad Dominum Games ↗
- Supported systems
- Windows · Linux
- Genres
- Casual, Indie, Strategy
- Release date
- 12 November 2026
- Last player update
- 13 Nov · 21:41 UTC
Steam store data
System requirements
Supplied by the developer on Steam
Windows
Minimum
- Requirement
- Requires a 64-bit processor and operating system
- OS
- Windows 10
- Processor
- 1.6 GHz dual-core
- Memory
- 4 GB RAM
- Graphics
- Integrated graphics
- DirectX
- Version 11
- Storage
- 500 MB available space
- Sound Card
- Any
Recommended
- Requirement
- Requires a 64-bit processor and operating system
- OS
- Windows 10
- Processor
- 2.0 GHz dual-core
- Memory
- 4 GB RAM
- Graphics
- Integrated graphics
- DirectX
- Version 11
- Storage
- 500 MB available space
- Sound Card
- Any
macOS
Minimum
- OS
- macOS 10.15 (Catalina)
- Processor
- Intel Core M
- Memory
- 4 GB RAM
- Graphics
- Integrated graphics
- Storage
- 500 MB available space
- Sound Card
- Any
Recommended
- OS
- macOS 12 (Monterey)
- Processor
- Intel Core M
- Memory
- 4 GB RAM
- Graphics
- Integrated graphics
- Storage
- 500 MB available space
- Sound Card
- Any
Linux
Minimum
- OS
- Ubuntu 20.04+ / SteamOS 3.0
- Processor
- 1.6 GHz dual-core
- Memory
- 4 GB RAM
- Graphics
- Integrated graphics
- Storage
- 500 MB available space
- Sound Card
- Any
Recommended
- OS
- Ubuntu 22.04+ / SteamOS 3.0
- Processor
- 2.0 GHz dual-core
- Memory
- 4 GB RAM
- Graphics
- Integrated graphics
- Storage
- 500 MB available space
- Sound Card
- Any
Launch window
Released 12 November 2026 · Tracking from 12 November 2026
SteamWatch’s first observed day and week; tracking can begin after release. Top Sellers is Steam’s revenue ranking, not a sales estimate.
- Player peak
- 3
- Steam reviews
- 0Rating not recorded
- Twitch peak
- Not recorded
- Price observed
- £2.19
- Top Sellers
- No appearanceNo ranked days
1 player-data day recorded in this window.
- Player peak
- 3
- Steam reviews
- 2100% positive
- Twitch peak
- Not recorded
- Price observed
- £2.19
- Top Sellers
- No appearanceNo ranked days
2 player-data days recorded in this window.
Peak 3Average 1Latest 2
24-hour and 7-day views use hourly peaks from ten-minute samples. Longer views use retained daily peaks. Up to 24 recent event markers are shown per layer.
Twitch
Twitch stats
Awaiting the first Twitch sample.
Long-term history
Monthly players breakdown
Calculated from SteamWatch samples
| Month | Peak | Gain | % gain | Average | Avg % gain |
|---|---|---|---|---|---|
| Last 30 days | 3 | — | — | 1 | — |
| November 2026 | 3 | — | — | 1 | — |
Regional price history will appear after the first successful sweep.
Daily regional sweep
Regional prices
0 regions checked
| Region | Currency | Regular | Current | Discount | Historical low | Last change |
|---|---|---|---|---|---|---|
| United KingdomGBP · GB | — | — | Unavailable | — | — | No change recorded |
| United StatesUSD · US | — | — | Unavailable | — | — | No change recorded |
| Euro areaEUR · DE | — | — | Unavailable | — | — | No change recorded |
| United Arab EmiratesAED · AE | — | — | Unavailable | — | — | No change recorded |
| AustraliaAUD · AU | — | — | Unavailable | — | — | No change recorded |
| BrazilBRL · BR | — | — | Unavailable | — | — | No change recorded |
| CanadaCAD · CA | — | — | Unavailable | — | — | No change recorded |
| SwitzerlandCHF · CH | — | — | Unavailable | — | — | No change recorded |
| ChileCLP · CL | — | — | Unavailable | — | — | No change recorded |
| ChinaCNY · CN | — | — | Unavailable | — | — | No change recorded |
| ColombiaCOP · CO | — | — | Unavailable | — | — | No change recorded |
| Costa RicaCRC · CR | — | — | Unavailable | — | — | No change recorded |
| Hong KongHKD · HK | — | — | Unavailable | — | — | No change recorded |
| IndonesiaIDR · ID | — | — | Unavailable | — | — | No change recorded |
| IsraelILS · IL | — | — | Unavailable | — | — | No change recorded |
| IndiaINR · IN | — | — | Unavailable | — | — | No change recorded |
| JapanJPY · JP | — | — | Unavailable | — | — | No change recorded |
| South KoreaKRW · KR | — | — | Unavailable | — | — | No change recorded |
| KuwaitKWD · KW | — | — | Unavailable | — | — | No change recorded |
| KazakhstanKZT · KZ | — | — | Unavailable | — | — | No change recorded |
| MexicoMXN · MX | — | — | Unavailable | — | — | No change recorded |
| MalaysiaMYR · MY | — | — | Unavailable | — | — | No change recorded |
| NorwayNOK · NO | — | — | Unavailable | — | — | No change recorded |
| New ZealandNZD · NZ | — | — | Unavailable | — | — | No change recorded |
| PeruPEN · PE | — | — | Unavailable | — | — | No change recorded |
| PhilippinesPHP · PH | — | — | Unavailable | — | — | No change recorded |
| PolandPLN · PL | — | — | Unavailable | — | — | No change recorded |
| QatarQAR · QA | — | — | Unavailable | — | — | No change recorded |
| RussiaRUB · RU | — | — | Unavailable | — | — | No change recorded |
| Saudi ArabiaSAR · SA | — | — | Unavailable | — | — | No change recorded |
| SingaporeSGD · SG | — | — | Unavailable | — | — | No change recorded |
| ThailandTHB · TH | — | — | Unavailable | — | — | No change recorded |
| TaiwanTWD · TW | — | — | Unavailable | — | — | No change recorded |
| UkraineUAH · UA | — | — | Unavailable | — | — | No change recorded |
| UruguayUYU · UY | — | — | Unavailable | — | — | No change recorded |
| VietnamVND · VN | — | — | Unavailable | — | — | No change recorded |
| South AfricaZAR · ZA | — | — | Unavailable | — | — | No change recorded |
| CIS (regional USD)USD_CIS · AM | — | — | Unavailable | — | — | No change recorded |
| Latin America (regional USD)USD_LATAM · AR | — | — | Unavailable | — | — | No change recorded |
| Middle East & North Africa (regional USD)USD_MENA · EG | — | — | Unavailable | — | — | No change recorded |
| South Asia (regional USD)USD_SASIA · PK | — | — | Unavailable | — | — | No change recorded |
Positive rating100.0%
Positive reviews2
Negative reviews0
Review history is not available for this range yet.
Recent views use Steam's daily review activity. Longer views use weekly totals, retained by SteamWatch.
About this game
Description
Supplied by the Steam store
Every argument begins with set of premises that, if true, necessitate some conclusion. Your task is to prove that the conclusion does indeed follow.
Given a set of premises, apply rules of inference and replacement to derive new propositions until you reach the conclusion. Each level is a proof waiting to be completed.
Explore philosophical themes grounded in the works of Plato, Aristotle, St. Thomas Aquinas, and more! Though be prepared: while the levels start off easy and resemble the sort of proofs you might encounter in the wild, they soon evolve to challenge your logical thinking and pattern recognition abilities.
Features
180+ handcrafted levels spanning propositional logic and predicate calculus, levels varying both thematically and mechanically
23 rules of logic — 7 rules of inference (e.g., Modus Ponens, Modus Tollens, Hypothetical Syllogism), 11 rules of replacement (e.g., Double Negation, De Morgan's Laws, Transposition), and 5 quantifier rules (Universal/Existential Instantiation and Generalization, Quantifier Negation)
Gentle learning curve — 23 tutorial levels introduce one rule at a time, building from simple one-step proofs to multi-step chains
Deep complexity — later levels feature nested quantifiers, multi-variable domains, and proofs requiring many steps involving complex statements
Par system — every level has an optimal solution length; can you find the shortest proof?
No time pressure — think as long as you need, a par score isn't needed to beat the game
60+ Steam achievements — milestones, rule mastery challenges, and other fun achievements for completionists
Cloud saves — pick up where you left off on any machine
Steam gallery
Screenshots
7 available
Observed momentum
Moving similarly
Compared with the latest two retained daily readings
Games with the most comparable recorded change in players, and where available Steam reviews and Twitch viewers. This is a data similarity, not a recommendation or an explanation of cause.
Steam store extras
Demos
1 available
Steam global stats
Achievements
63 achievements
| # | ||
|---|---|---|
| 01 | First Tutorial | 74.0% |
| 02 | Complete 10 | 48.1% |
| 03 | Par 10 | 44.4% |
| 04 | Complete 25 | 25.9% |
| 05 | Par 25 | 25.9% |
| 06 | Complete 50 | 22.2% |
| 07 | Par 50 | 22.2% |
| 08 | Rule 5x Mp | 18.5% |
| 09 | Rule 100x Mp | 14.8% |
| 10 | Wrong Turn | 14.8% |
| 11 | Complete 100 | 7.4% |
| 12 | Par 100 | 7.4% |
| 13 | All Tutorials | 3.7% |
| 14 | Complete All | 3.7% |
| 15 | Latin Victory | 3.7% |
| 16 | Par All | 3.7% |
| 17 | Qed | 3.7% |
| 18 | Rule 100x Conj | 3.7% |
| 19 | Rule 100x Ei | 3.7% |
| 20 | Rule 100x Ui | 3.7% |
| 21 | Rule 5x Conj | 3.7% |
| 22 | Flying Blind | 0.0% |
| 23 | Rule 100x Assoc | 0.0% |
| 24 | Rule 100x Bdef | 0.0% |
| 25 | Rule 100x Comm | 0.0% |
| 26 | Rule 100x Dem | 0.0% |
| 27 | Rule 100x Dist | 0.0% |
| 28 | Rule 100x Dn | 0.0% |
| 29 | Rule 100x Ds | 0.0% |
| 30 | Rule 100x Eg | 0.0% |
| 31 | Rule 100x Equiv | 0.0% |
| 32 | Rule 100x Exp | 0.0% |
| 33 | Rule 100x Hs | 0.0% |
| 34 | Rule 100x Impl | 0.0% |
| 35 | Rule 100x Mt | 0.0% |
| 36 | Rule 100x Qn | 0.0% |
| 37 | Rule 100x Simp | 0.0% |
| 38 | Rule 100x Trans | 0.0% |
| 39 | Rule 100x Ug | 0.0% |
| 40 | Rule 100x Xdef | 0.0% |
| 41 | Rule 100x Xe | 0.0% |
| 42 | Rule 5x Assoc | 0.0% |
| 43 | Rule 5x Bdef | 0.0% |
| 44 | Rule 5x Comm | 0.0% |
| 45 | Rule 5x Dem | 0.0% |
| 46 | Rule 5x Dist | 0.0% |
| 47 | Rule 5x Dn | 0.0% |
| 48 | Rule 5x Ds | 0.0% |
| 49 | Rule 5x Eg | 0.0% |
| 50 | Rule 5x Ei | 0.0% |
| 51 | Rule 5x Equiv | 0.0% |
| 52 | Rule 5x Exp | 0.0% |
| 53 | Rule 5x Hs | 0.0% |
| 54 | Rule 5x Impl | 0.0% |
| 55 | Rule 5x Mt | 0.0% |
| 56 | Rule 5x Qn | 0.0% |
| 57 | Rule 5x Simp | 0.0% |
| 58 | Rule 5x Trans | 0.0% |
| 59 | Rule 5x Ug | 0.0% |
| 60 | Rule 5x Ui | 0.0% |
| 61 | Rule 5x Xdef | 0.0% |
| 62 | Rule 5x Xe | 0.0% |
| 63 | Scenic Route | 0.0% |
Saved from Steam
Patches
2 tracked updates
Version v0.1.1 now available
Hello again, here's hoping everyone enjoyed Steam Next Fest and found plenty of games to look forward to! While there's still plenty of work to be done on some of the non-demo content, I am trying to also sprinkle in some user requests as I'm able so that you can get a more accurate image of the final game. To that end, here's a look at what's in the latest update and what's to come, and special shoutout to Chris Martin, differentdiff, and 15-151 for their suggestions which made it into this update:What's changedImproved timing for the mouseover tooltip for rulesWide view option for propositions and rules. Should keep most propositions on screen, and will always keep all Rules on screenDetailed view option for Rules. See all information about a rule in the rule list area, at the cost of precious spaceClick to toggle option (via right click) for mouse usersMeta: versioned updates. You...
Read full update on Steam ↗Minor Update 1 Now Live (demo)
First of all, I hope everyone is enjoying Steam Next Fest. I appreciate all the feedback so far, both in the Steam discussions tab and the google form linked on the main menu. This update contains a few things I've been working on while working on the main game build, to include a few player requests (shoutout to Diogo and (ᵔᴗᵔ) for some of the features in this update). Some of the google form requests will be in the next update, I promise!What's changedInsight levels (formerly tutorials) are now more visually obvious on the level selection screenUnless a level actively restricts a Rule (I dont think any of those are in the demo), the Rule list will show all unlocked RulesYou can now left-click to proceed / speed up text scrolling in addition to spaceRules/propositions can be dragged out of the central fixture and otherwise swapped aroundRules/propositions in use are now still visible...
Read full update on Steam ↗
Game activity
Recent changes
Steam events and SteamWatch observations
- SteamWatchPlayer data
New tracked player peak
3 concurrent players — the highest daily peak recorded at that point.
- SteamRelease
Released on Steam
Release date supplied by the Steam store.
- SteamPatch
Version v0.1.1 now available ↗
Hello again, here's hoping everyone enjoyed Steam Next Fest and found plenty of games to look forward to! While there's still plenty of work to be done on some of the non-demo content, I am trying to also sprinkle in…
- SteamPatch
Minor Update 1 Now Live (demo) ↗
First of all, I hope everyone is enjoying Steam Next Fest. I appreciate all the feedback so far, both in the Steam discussions tab and the google form linked on the main menu. This update contains a few things I've be…