Title: Abstract identities