diff --git a/spec.md b/spec.md
index 3d9ff08..b70ca58 100644
--- a/spec.md
+++ b/spec.md
@@ -249,12 +249,15 @@
 - Program can be validaded either before execution or when executing
 
 # Traps
-|     Name      |    Parameters    |           Cause            |
-|:-------------:|:----------------:|:--------------------------:|
-| LoadAccessEx  | Accessed address |  Loading invalid address   |
-| StoreAccessEx | Accessed address | Storing to invalid address |
-| InvalidOpcode |  Loaded opcode   |  Executing invalid opcode  |
-|     Ecall     |       None       |     Ecall instruction      |
+Program should at least implement these traps:
+- Environment call
+- Invalid instruction exception
+- Load address exception
+- Store address exception
+
+and executing environment should be able to get information about them,
+like the opcode of invalid instruction or attempted address to load/store.
+Details about these are left as an implementation detail.
 
 # Assembly
 HoleyBytes assembly format is not defined, this is just a weak description