logik lab egna bevis