ley* system implementation