Ideal-Logic Registrations