Local Logic - Local Profiles Example