diff --git a/src/pages/truth-table.tsx b/src/pages/truth-table.tsx
index 5d596b0..5f94789 100644
--- a/src/pages/truth-table.tsx
+++ b/src/pages/truth-table.tsx
@@ -298,10 +298,7 @@ hideIntermediate=${hideIntermediates()}`)
             />
           </Show>
 
-          <Show
-            when={simplifyEnabled() && (fetchResult()?.orderOfOperations?.length ?? 0) > 0}
-            keyed
-          >
+          <Show when={simplifyEnabled() && (fetchResult()?.operations?.length ?? 0) > 0} keyed>
             <ShowMeHow fetchResult={fetchResult} />
           </Show>
         </div>
@@ -369,7 +366,7 @@ const ShowMeHow: Component<ShowMeHowProps> = ({ fetchResult }) => (
     <MyDisclosure title={"Show me how it's done"}>
       <table class={"table"}>
         <tbody>
-          <For each={fetchResult()?.orderOfOperations}>{orderOperationRow()}</For>
+          <For each={fetchResult()?.operations}>{operationRow()}</For>
         </tbody>
       </table>
     </MyDisclosure>
@@ -395,7 +392,7 @@ const HowTo: Component = () => (
   </MyDisclosureContainer>
 )
 
-const orderOperationRow = () => (operation: OrderOfOperation, index: Accessor<number>) => (
+const operationRow = () => (operation: Operation, index: Accessor<number>) => (
   <tr class={"border-b border-dotted border-gray-500"}>
     <td>{index() + 1}:</td>
     <td class={"px-2"}>
diff --git a/src/types/types.d.ts b/src/types/types.d.ts
index 1fa8974..f96a460 100644
--- a/src/types/types.d.ts
+++ b/src/types/types.d.ts
@@ -55,19 +55,28 @@ type Expression = AtomicExpression | NotExpression | BinaryExpression
 
 type BinaryOperator = "AND" | "OR" | "IMPLICATION"
 
+type Law =
+  | "ELIMINATION_OF_IMPLICATION"
+  | "DE_MORGANS_LAWS"
+  | "ABSORPTION_LAW"
+  | "ASSOCIATIVE_LAW"
+  | "DISTRIBUTION_LAW"
+  | "DOUBLE_NEGATION_ELIMINATION"
+  | "COMMUTATIVE_LAW"
+
 type TruthMatrix = boolean[][]
 
-type OrderOfOperation = {
+type Operation = {
   before: string
   after: string
-  law: string
+  law: Law
 }
 
 type FetchResult = {
-  version: string | null
+  version: string
   before: string
   after: string
-  orderOfOperations: OrderOfOperation[]
+  operations: Operation[]
   expression: Expression | null
   truthTable?: {
     header: string[]