abstractlogica