Added comments
Added proof of meet-join property, dependent on join-meet.