Fixed format?
Added LogicExtension 'Praise'