satisfies
lies