be pasted

be pasted definitions