Decoder theory added