Vi utvecklar en föreställning om predikattransformator och i synnerhet den svagaste förutsättningen, lämplig för kvantberäkning. Vi visar att det finns en stenliknande dualitet mellan de vanliga statstransformatoriska semantikerna och de svagaste förutsättningarna för semantik. I stället för att försöka minska kvantberäkningen till probabilistisk programmering utvecklar vi en idé som är direkt tagen från begrepp som används i kvantberäkning. Beviset för att det finns svagaste förutsättningar för helt positiva kartor följer omedelbart av Kraus-representationens teorem. Som exempel ger vi semantiken i Selingers språk i termer av våra svagaste förutsättningar. Vi täcker också vissa specifika situationer och uppvisar en intressant länk med stabilisatorer. † Ellie D'Hondt finansierades av FWO och VUB (Flanders) och Prakash Panangaden finansierades delvis av ett stipendium från NSERC (Kanada) och delvis av ett gäststipendium från EPSRC (U.K.).
Svagaste förutsättningar som är lämpliga för kvantberäkning införs i REF.