Sebastian Danicic axiomatics