K_(logic) loading ...