impl forbiddens (fixed #19)