Counting linear extensions is #P-complete | Synapse