L

logic and verification